Unmap vcpu_info mapping in arch_domain_destroy.
authorJeremy Fitzhardinge <jeremy@xensource.com>
Thu, 24 May 2007 12:25:05 +0000 (13:25 +0100)
committerJeremy Fitzhardinge <jeremy@xensource.com>
Thu, 24 May 2007 12:25:05 +0000 (13:25 +0100)
commit11623a8d90ad36cad1c68aa22433bdf70905588e
tree16341d98489ad15a0135625fbd43f721a7cbfcb6
parentb9cc5236c73851d946f2e897cb8229a6de9ca6c8
Unmap vcpu_info mapping in arch_domain_destroy.

We don't need to touch it in arch_vcpu_reset() because that's only used
to recover from a failed suspend, and the correct behaviour there is to
leave the mapping as-is.
xen/arch/x86/domain.c